\begin{nusmvCommand} {time} {Provides a simple CPU elapsed time value}
 
\cmdLine{time [-h]}

Prints the processor time used since the last invocation of the \command{time}
command, and the total processor time used since \nusmv was started.

\end{nusmvCommand}
